Monitoring facilities in languages supporting development of concurrent self-measurement programs
نویسندگان
چکیده
Large-scale and highly reliable concurrent systems are more and more required and it is indispensable for them to keep on measuring and monitoring an order to ensure their reliability. Some systematic method for developing self-measurement concurrent systems has been needed. Self-measurement programs may be dificult to be developed and maintained in conventional environment for development. This paper presents the concept of the measurement handler, which is an approach to support development of self-measurement systems with programming languages. As a concrete example, we present the programming language Ada MH, which is an extension of Ada 95 with the measurement handler. In this paper, implementation of a processang system for Ada M H is also presented.
منابع مشابه
Zing: Exploiting Program Structure for Model Checking Concurrent Software
Model checking is a technique for finding bugs in systems by systematically exploring their state spaces. We wish to extract sound models from concurrent programs automatically and check the behaviors of these models systematically. The zing project is an effort to build a flexible infrastructure to represent and model check abstractions of large concurrent software. To support automatic extrac...
متن کاملRule-Based Expression Mechanisms for Procedural Languages
We report on experiences on adding a rule based expression mechanism to an existing procedural programming language (C++) and on designing and implementing a self-contained language { and its integrated programming environment { supporting similar but more general capabilities. Both languages, XC and XE, are based on abstract data types and XE is a close relative of CLU. Its programming environ...
متن کاملComparison of two methods of education (lecture and self learning) on knowledge and practice of mothers with under 3 year old children about growth monitoring and nutritional development stages
Introduction: Assessment of national children growth has shown children‘s growth failure in a large percentage of them in Iran. Growth failure is easily diagnosed by growth monitoring card .On the other hand, mothers’ Knowledge of Nutritional development stages can help them to modify their practice in this field .In this case, conducting educational and interventional programs play a key role ...
متن کاملExploring the Conceptions of Academic Reading Comprehension by Iranian Graduate Students of Applied Linguistics
Although the importance of reading in higher education as an index of success has been highlighted, the metacognitive knowledge or beliefs of graduate students have remained under-researched. This qualitative study reports on a study that, first, examines how graduate students of applied linguistics conceive of academic reading and academic readers in their graduate programs; second, wh...
متن کاملDynamic Slicing of Concurrent Programs : Where are We and Where is the Right Way ? ( Extended
Program slicing has been developed as a standard technique used in various software engineering activit ies including program understanding, testing, debugging, maintenance, and complexity measurement. Although both static and dynamic slicing of sequential programs have been applied to software engineering practices, there still are some challenges, problems and issues in slicing concurrent pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000